• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۷۹۳ پاسخ غیر تکراری از ۷۹۳ پاسخ تکراری در مدت زمان ۰,۵۸ ثانیه یافت شد.

641. Recent trends in algebraic development techniques

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Jos?� Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses

Classification :
QA
,
76
.
754
,
W32
,
2004

642. Recent trends in algebraic development techniques

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها

Classification :
QA
76
.
76
.
D47
W32
2015
E-Book
,

643. Recent trends in algebraic development techniques :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computer software ; Development ; Congresses ; Computer science ; Mathematics ; Congresses ; Abstract data types (Computer science) ; Congresses ;

Classification :

644. Recent trends in algebraic development techniques

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Jose Luiz Fiadeiro, Pierre-Yves Schobbens (eds.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses

Classification :
QA
,
76
.
76
,.
D47
,
W33
,
2006

645. Recent trends in algebraic development techniques

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.).

Library: Library of College of Science University of Tehran (Tehran)

Subject: Computer science, -- Congresses, -- Mathematics,a05,Computer software--Development--Congresses.,Abstract data types (Computer science)--Congresses.

Classification :
QA76
.
751
.
W32
2004

646. Recent trends in algebraic development techniques

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Narciso Martí-Oliet, Miguel Palomino (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science-- Mathematics, Congresses,Computer software-- Development, Congresses,Formal methods (Computer science), Congresses

Classification :
QA76
.
76
.
D47
W33
2012

647. Recent trends in algebraic development techniques

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Maura Cerioli, Gianna Reggio (eds.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses

Classification :
QA
,
76
.
76
,.
D47
,
W33
,
2001

648. Recent trends in algebraic development techniques

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;

Classification :

649. Recent trends in algebraic development techniques :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)

Classification :
QA76
.
76
.
D47

650. Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

Classification :
QA
76
.
L28
Vol
.
3423

651. Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Didier Bert, Christine Choppy, Peter Mosses )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

Classification :
QA
76
.
L28
Vol
.
1827

652. Recent trends in algebraic development techniques : 13th International Workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998: selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jose Luiz Fiadeiro )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

Classification :
QA
76
.
L28
Vol
.
1589

653. Recent trends in algebraic development techniques : 12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Francesco Parisi Presicce, )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

Classification :
QA
76
.
L28
Vol
.
1376

654. Recent trends in algebraic development techniques : 15th international Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Maura Cerioli, Gianna Reggio )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Abstract data types )Computer science(,Congresses ، Computer science -- Mathematics,Congresses ، Computer software -- Development

Classification :
QA
76
.
L28
Vol
.
2267

655. Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Martin Wirsing, Dirk Pattinson, Rolf Hennicker )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

Classification :
QA
76
.
L28
Vol
.
2755

656. Recent trends in algebraic development techniques: 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001: selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: Congresses ، Computer software-- Development,Congresses ، Computer science-- Mathematics,Congresses ، Abstract data types )Computer science(

Classification :
QA
76
.
76
.
D47
.
W33
2001

657. Regional Conference on Science, Technology and Social Sciences (RCSTSS 2016) :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Nor Azizah Yacob [and four others] editors.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Science, Congresses.,Technology, Congresses.,SCIENCE-- Essays.,SCIENCE-- Reference.,Science.,Technology.

Classification :
Q101

658. Relational and Algebraic Methods in Computer Science

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: \ Wolfram Kahl , Michael Winter, José N. Oliveira (Eds.)

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Computer science -- Mathematics -- Congresses.,Algebraic logic -- Congresses.,Relation algebras -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق جبری -- کنگره ها

Classification :
QA
76
.
9
.
M35R4
2015
E-Book
,

659. Relational and algebraic methods in computer science :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computer science ; Mathematics ; Congresses. ;

Classification :

660. Relational and algebraic methods in computer science :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computer science ; Mathematics ; Congresses. ;

Classification :
  • »
  • 40
  • 39
  • 38
  • 37
  • 36
  • 35
  • 34
  • 33
  • 32
  • 31
  • 30
  • 29
  • ...
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival